Перейти к основному содержимому

Свойства логарифма


Логарифмы обладают рядом свойств, которые существенно упрощают вычисления. Эти свойства важно знать 📚.

Основное логарифмическое тождество

Рассмотрим пример 2x=52^x=5, где корень равен x=log25x=\log_25. Поскольку xx- это показатель степени, равенство 2x=52^x=5 можно переписать как 2log25=52^{\log_25}=5. Это выражение известно как основное логарифмическое тождество.

Основное логарифмическое тождество
alogab=ba^{\log_ab}=b

Например, 2log232=322^{\log_232}=32.

Вычислить 640.5log21264^{0.5\log_212}.

Преобразуем выражение:

640.5log212=(26)0.5log212=(2log212)364^{0.5\log_212} = \left(2^6\right)^{0.5\log_212}=\left(2^{\log_212} \right)^3.

Применяя основное логарифмическое тождество:

(2log212)3=123.\left(2^{\log_212} \right)^3=12^3.

Таким образом, 640.5log212=12364^{0.5\log_212}=12^3.

Основные свойства логарифма

Для всех приведенных ниже свойств предполагается, что x>0,y>0,a>0,a1,m>0,m1x>0, y>0, a>0, a \neq 1, m>0, m \neq 1.


Свойства логарифма
  1. logaxy=logax+logay \log_{a}xy=\log_{a}x+\log_{a}y (логарифм произведения равен сумме логарифмов).
  2. logaxy=logaxlogay \log_{a}\cfrac{x}{y}=\log_{a}x-\log_{a}y (логарифм частного равен разности логарифмов).
  3. logaxk=klogax\log_ax^k=k\log_ax (вынесение показателя степени из аргумента логарифма).
  4. logab=logmblogma\log_ab=\cfrac{\log_mb}{\log_ma} (переход от одного основания к другому).
  5. logab=1logba\log_ab=\cfrac{1}{\log_ba}.
  6. loganb=1nlogab\log_{a^{n}}b=\cfrac{1}{n}\log_ab.

Рассмотрим выражения alogaxya^{\log_axy} и alogax+logaya^{\log_ax+\log_ay}. Докажем, что они равны.

Используя основное логарифмическое тождество и свойства степени, запишем:

alogaxy=xy;alogax+logay=alogaxalogay=xy.\begin{gather*} a^{\log_axy}=xy; \\ a^{\log_ax+\log_ay}=a^{\log_ax} \cdot a^{\log_ay}=xy. \end{gather*}

Следовательно, alogaxy=alogax+logaya^{\log_axy} =a^{\log_ax+\log_ay}. Поскольку степени с одинаковым основанием равны, равны и их показатели. Таким образом, получаем: logaxy=logax+logay\log_{a}xy=\log_{a}x+\log_{a}y.


Рассмотрим выражения: alogaxka^{\log_ax^k} и aklogaxa^{k\log_ax}. Докажем, что они равны.

Имеем: alogaxk=xk;a^{\log_ax^k}=x^k;

aklogax=(alogax)k=xka^{k\log_ax}=\left(a^{\log_ax} \right)^k=x^k.

Следовательно, alogaxk=aklogaxa^{\log_ax^k}=a^{k\log_ax}. Поскольку степени с одинаковым основанием равны, равны и их показатели.

Таким образом, получаем: logaxk=klogax\log_ax^k=k\log_ax.




Вычислить log63+log62\log_63+\log_62.

log63+log62=log66=1\log_63+\log_62=\log_66=1


Идеи и алгоритмы решения задач

Успешное вычисление логарифмических выражений основывается на:

  • 📚 прочном знании свойств логарифмов;
  • 🔧 владении общими приемами их преобразования, которые укрепляются через регулярную практическую работу.

Основные логарифмические формулы удобно разделить на две группы: формулы упаковки и формулы распаковки. Эти термины наглядно отражают процесс преобразования логарифмических выражений.

Формулы упаковки
Формулы распаковки
logax+logay=logaxy\log_ax+\log_ay=\log_axylogaxy=logax+logay\log_axy=\log_ax+\log_ay
logaxlogay=logaxy\log_{a}x-\log_{a}y=\log_{a}\cfrac{x}{y}logaxy=logaxlogay\log_{a}\cfrac{x}{y}=\log_{a}x-\log_{a}y
klogax=logaxkk\log_ax=\log_ax^klogaxk=klogax\log_ax^k=k\log_ax
1nlogab=loganb\cfrac{1}{n}\log_ab=\log_{a^{n}}bloganb=1nlogab\log_{a^{n}}b=\cfrac{1}{n}\log_ab

💡Идея #1

Сразу обратите внимание на логарифм logab\log_ab: не являются ли его основание aa и аргумент bb степенями одного и того же числа cc? Если это так, то логарифм можно считать практически вычисленным.

Наапример, log94827=log(32)2(23)3=32\log_{\frac94}\cfrac{8}{27} =\log_{\left(\frac32\right)^2}\left(\cfrac23\right)^3=-\cfrac32

Например, log326427=log32(23)6=6\log_{\frac{\sqrt{3}}{2}}\cfrac{64}{27}= \log_{\frac{\sqrt{3}}{2}}\left(\cfrac{2}{\sqrt{3}} \right)^6=-6.

💡Идея #2

Если в упрощаемом выражении логарифм присутствует на "втором этаже" (то есть в показателе степени содержится логарифм), будьте готовы использовать основное логарифмическое тождество alogab=ba^{\log_ab}=b.

Вам могут встретится такие выражения, как aloganxa^{\log_a^nx}, alogmxlogmaa^{\frac{\log_mx}{\log_ma}} или ablogxaa^{\frac{b}{\log_xa}}.

Для упрощения этих выражений примените следующее преобразование:

aloganx=(alogax)logan1xa^{\log_a^nx}=\left(a^{\log_ax} \right)^{\log_a^{n-1}x} alogmxlogma=alogaxa^{\frac{\log_mx}{\log_ma}}=a^{\log_ax} ablogxa=alogaxba^{\frac{b}{\log_xa}}=a^{\log_ax^b}

В частности, aloga2x=(alogax)logax=xlogax.a^{\log_a^2x}=\left(a^{\log_ax} \right)^{\log_ax}=x^{\log_ax}.

Упростить выражение (0.25)log12log8xlog1124(0.25)^{\cfrac{\log_{12}\log_8x}{\log_{\frac{1}{12}}4}}

(0.25)log12log8xlog1124=(41)log12log8xlog124==4log12log8xlog124=4log4log8x=log8x\begin{gather*} (0.25)^{\frac{\log_{12}\log_8x}{\log_{\frac{1}{12}}4}} = \left(4^{-1}\right)^{\frac{\log_{12}\log_8x}{-\log_{12}4}}= \\ \\ = 4^{\frac{\log_{12}\log_8x}{\log_{12}4}} = 4^{\log_4\log_8x}= \log_8x \\ \end{gather*}